Einführung in die Modallogik
Frontmatter -- TEIL I: MODALE AUSSAGENLOGIK -- Kapitel 1: Der nicht-modale Aussagenkalkül (AK) -- Kapitel 2: Das System T -- Kapitel 3: Die Systeme S4 und S5 -- Kapitel 4: Gültigkeit in T, S4 und S5 -- Kapitel 5: Entscheidungsverfahren und Vollständigkeit von T -- Kapitel 6: Entscheidungsverfahren und Vollständigkeit von S4 und S5 -- Kapitel 7: Alternative Basen für ...